Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
531	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
532	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
533	GC-051 ANALYSIS OF THE PHASED BUILDING OF A BREAKWATER Purpose(s): Design check verification for the phased building of a breakwater Add to Reading List Source URL: www.itasca.fr Language: English - Date: 2014-11-07 09:00:59 Breakwater FLAC Software
534	Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation: Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-11 15:38:37 Software verification Rabbit Model Checker Ambient intelligence Software engineering Year of birth missing CHIC Lecture Notes in Computer Science International Conference on Formal Techniques for Networked and Distributed Systems
535	Technical SafeTy aSSeSSmenT Guide Transients and Design Basis Accident Analyses Add to Reading List Source URL: www.etson.eu Language: English - Date: 2014-10-10 03:27:32 Validity Systems science Systems theory Risk analysis Verification Software development process Validation Probabilistic risk assessment DO-178B Systems engineering Science Pharmaceutical industry
536	PROcessVAlidation299-SG3.PDF Add to Reading List Source URL: www.variation.com Language: English - Date: 2014-12-31 23:28:16 Quality Systems engineering Management Validity Validation Verification and validation Software development process Verification Test method Technology Pharmaceutical industry Science
537	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMP[removed]Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
538	LNCS[removed]Software Verification in the Google App-Engine Cloud Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:21:00 Google App Engine Platform as a service Amazon Elastic Compute Cloud Installation Cloud computing Centralized computing Cloud infrastructure
539	Debugging + Automated Test & Verification = Blue Box iSYSTEM provides debugger and analyzer solutions for more than 50 CPU architectures and their derivatives (3000+ microcontrollers). The Windows and/or Eclipse Add to Reading List Source URL: www.isystem.com Language: English - Date: 2013-02-07 02:14:08 Computer programming Microcontrollers Debugging IEEE standards Debugger Graphical user interface testing Joint Test Action Group Software testing Emulator Computing Electronics Embedded systems
540	The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Generated/Printed on: 19 June 2013 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2013-06-19 03:35:13 Filter Assertion Computer programming Software engineering Computing

UPDATE